∂19-Apr-85  1522	JDH  	Bruce Leban's MF problem
He found that when |size| increases in the following program, it is possible
to actually get a smaller dot.  (The set of black pixels for size=3.51 is
strictly contained in the set of black pixels for size=3.49.)

    pickup pencircle scaled size;
    drawdot (0,0);

The cause of this is the autorounding of current_path.  Since autorounding
doesn't work well for polygons anyway, I suggest that drawdot might say
	interim autorounding:=0
somewhere.  The place to do the rounding is probably in the shift amount ↑z.